#include <stdio.h>
int a[100000000],b[100000000];
int main()
{
	int n,m,k,i,j,l,q;
	scanf("%d %d %d",&n,&m,&k);
	int c[k][5];
	for(i=0;i<k;i++)
	{
		scanf("%d",&c[i][0]);
		if(c[i][0]==0)
		{
			scanf("%d %d %d %d",&c[i][1],&c[i][2],&c[i][3],&c[i][4]);
		}else if(c[i][0]==1||c[i][0]==2)
		{
			scanf("%d %d %d",&c[i][1],&c[i][2],&c[i][3]);
		}else if(c[i][0]==3)
		{
			scanf("%d",&c[i][1]);
		}
	}
	for(i=0;i<k;i++)
	{
		
			if(c[i][0]==0)
			{
				for(l=c[i][2];l<=c[i][3];l++)
				{if(b[l]!=c[i][1]&&b[l]!=0&&b[l]!=q)
				{
					if(l==c[i][2])
					{
						printf("-1\n");
					}else
					{
						printf("%d\n",--l);
					}
					goto x;
				}
					a[l]=c[i][4];
					b[l]=c[i][1];
				}
				printf("%d\n",--l);
			}
			else if(c[i][0]==1)
			{
				for(l=c[i][2];l<=c[i][3];l++)
				{
					if(b[l]==0||b[l]==c[i][1])
					{
						
					}else
					{
						printf("FAIL\n");
						goto y;
					}
				}
				for(l=c[i][2];l<=c[i][3];l++)
				{
					b[l]=c[i][1];
					q=c[i][1];
				}
				printf("OK\n");
			
			}else if(c[i][0]==2)
			{
				for(l=c[i][2];l<=c[i][3];l++)
				{
					if(b[l]!=c[i][1])
					{
					printf("FAIL\n");
					goto z;
				}
				}
				for(l=c[i][2];l<=c[i][3];l++)
				{
					b[l]=c[i][1];
				}
				printf("OK\n");
			}
			else if(c[i][0]==3)
			{
				int h=c[i][1];
				if(b[h]!=0)
				{
				
					printf("%d %d\n",b[h],a[h]);
				}else
				{
					printf("0 0\n");
				}
			}
			x:;z:;y:;
	}
	return 0;
}
